Free logic - PDFSEARCH.IO - Document Search Engine

Free logic
Results: 431

#	Item
291	80 MHz Bandwidth, IF Receiver AD6677 Data Sheet FEATURES Add to Reading List Source URL: www.analog.com Language: English - Date: 2014-05-23 10:28:51 Electromagnetism Analog-to-digital converter Spurious-free dynamic range Serial Peripheral Interface Bus DBFS JESD204 Emitter-coupled logic Power supply Decibel Digital signal processing Electronics Electronic engineering
292	I probably won’t revise or publish this paper; feel free to cite. Beyond the Humphrey Objection∗ Theodore Sider Draft of 2006 Add to Reading List Source URL: tedsider.org Language: English - Date: 2010-10-10 14:21:05 Philosophical logic Semantics Modal logic Meaning Philosophy of language Counterpart theory Saul Kripke Possible world Modal realism Logic Philosophy Analytic philosophy
293	the language machine – from lambda to language and grammar The language machine is an efficient and usable toolkit for language and grammar that is published as free software under the Gnu GPL. At its core is an engine Add to Reading List Source URL: languagemachine.sourceforge.net Language: English - Date: 2005-11-27 09:14:02 Linguistics Formal grammar Generative grammar Lambda calculus Generative Terminal and nonterminal symbols Turing completeness Symbol Unrestricted grammar Formal languages Logic Science
294	Algebra and Geometry of Rewriting∗ Yves Lafont† Institut de Mathématiques de Luminy (UMR 6206 du CNRS) Université de la Méditerranée (Aix-Marseille 2) October 9, 2006 Add to Reading List Source URL: iml.univ-mrs.fr Language: English - Date: 2006-10-09 13:16:27 Semigroup theory Formal languages Algebraic structures Model theory Mathematical logic Monoid Presentation of a monoid Rewriting Free monoid Abstract algebra Mathematics Algebra
295	Microsoft Word - Halm_Free choice and Focus_REVISED_v5_fin_corr Add to Reading List Source URL: cecils.btk.ppke.hu Language: English - Date: 2013-06-14 05:31:22 Language Meaning Philosophical logic Semantics Grammar Problem of universals Hungarian language Singular they Syntax Philosophy of language Linguistics Analytic philosophy
296	SOFTWARE LICENSE AGREEMENT PLEASE READ THIS AGREEMENT CAREFULLY BEFORE USING THE SOFTWARE. This agreement is between Real Time Logic LLC a California limited liability company (RTL) and you, the entity or individual ente Add to Reading List Source URL: barracudadrive.com Language: English - Date: 2013-02-18 22:39:59 End-user license agreement Proprietary software Criminal law Free software Software Software licenses Computer law Law
297	SOFTWARE LICENSE AGREEMENT PLEASE READ THIS AGREEMENT CAREFULLY BEFORE USING THE SOFTWARE. This agreement is between Real Time Logic LLC a California limited liability company (RTL) and you, the entity or individual ente Add to Reading List Source URL: barracudadrive.com Language: English - Date: 2013-05-02 19:14:25 Computer law Private law End-user license agreement Warranty Proprietary software Free software Software licenses Law Contract law
298	FDCC: a Combined Approach for Solving Constraints over Finite Domains and Arrays S´ebastien Bardin(1) , Arnaud Gotlieb[removed]CEA LIST (Paris, France) (2) INRIA (Rennes, France) - Certus V&V Center, Simula (Oslo, Norway Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2012-06-04 05:05:22 Program logic ELLA ATS Predicate transformer semantics International Securities Identification Number Computing Programming language theory Formal methods Software engineering Hardware description languages
299	HOMOLOGY OF GAUSSIAN GROUPS HOMOLOGIE DES GROUPES GAUSSIENS PATRICK DEHORNOY AND YVES LAFONT Abstract. We describe new combinatorial methods for constructing explicit free resolutions of Z by ZG-modules when G is a group Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2003-03-19 10:52:23 Semigroup theory Formal languages Mathematical logic Algebraic structures Garside element Monoid Free monoid Rewriting Inverse element Abstract algebra Algebra Mathematics
300	Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2014-04-03 11:43:14 Electronic design automation Logic in computer science NP-complete problems Abstract interpretation Symbolic execution Satisfiability Modulo Theories Solver Theoretical computer science Applied mathematics Formal methods

UPDATE